decidable logic

可判定逻辑(电路)